    bits 64
    
    db 0x66, 0x26, 0xc7, 0xf8, 0xff, 0x7f           ; xbegin 0x800000000002d877
    db 0x26, 0xc7, 0xf8, 0x00, 0x00, 0x00, 0x00     ; xbegin 0x8000000000025b1a
    db 0x66, 0x0f, 0x01, 0xd9                       ; vmmcall
    db 0x67, 0x48, 0x0f, 0x1a, 0x44, 0x25, 0x7f     ; bndldx bnd0, [rbp+0x7f]
    db 0x26, 0x48, 0x0f, 0xae, 0x04, 0x48           ; fxsave64 [rax+rcx*2]
    db 0x26, 0x48, 0x0f, 0xae, 0x0c, 0x48           ; fxrstor64 [rax+rcx*2]
    db 0x26, 0xc4, 0xe3, 0x71, 0x48, 0xc2, 0x30     ; vpermil2ps xmm0, xmm1, xmm2, xmm3, 0x0
    db 0x26, 0xc4, 0xe3, 0x71, 0x49, 0xc2, 0x30     ; vpermil2pd xmm0, xmm1, xmm2, xmm3, 0x0
    db 0xc4, 0xe3, 0x69, 0x4a, 0xcb, 0x08           ; vblendvps xmm1, xmm2, xmm3, xmm0
    db 0xc4, 0xe3, 0x69, 0x68, 0xcb, 0x08           ; vfmaddps xmm1, xmm2, xmm3, xmm0 
    db 0x62, 0xf2, 0x7d, 0x09, 0xa0, 0x04, 0x40     ; vpscatterdd dword ptr [rax+xmm0*2], k1, xmm0    